Portability of Prolog programs: theory and case-studies

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both systems rather than migrating an application. We show that today, the portability within the family of Edinburgh/Quintus derived Prolog implementations is good enough to allow for maintaining portable real-world applications.Comment: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 201

Introduction to the 28th International Conference on Logic Programming Special Issue

We are proud to introduce this special issue of the Journal of Theory and Practice of Logic Programming (TPLP), dedicated to the full papers accepted for the 28th International Conference on Logic Programming (ICLP). The ICLP meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logic programming

Threads and Or-Parallelism Unified

One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded implementation. Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support YapOr's model. Initial experiments with our new approach consistently achieve almost linear speedups for most of the applications, proving itself as a good alternative for exploiting implicit parallelism in the currently available low cost multi-core architectures.Comment: 17 pages, 21 figures, International Conference on Logic Programming (ICLP 2010

An innovation accelerator proposal for smart parishes

Vizela, I., Costa, E., & Santos, V. (2019). An innovation accelerator proposal for smart parishes. In Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao 2019: 19ª Conferencia da Associacao Portuguesa de Sistemas de Informacao, CAPSI 2019 [19th Conference of the Portuguese Association for Information Systems, CAPSI 2019], Lisboa; Portugal; 11 October 2019 through 12 October 2019. Associação Portuguesa de Sistemas de Informação.The key problem for this study was the need to get citizens and parish councils closer by making an innovation accelerator to bring smartness to parishes. During the research process on public administration, smart cities and a bit more on innovation and creativity, it was also understood that smartness inside a parish must include an improvement on the relationship with citizens, citizens who feel that their opinions count, citizens training to promote digital inclusion and also for parish employees to make sure that their processes are more citizen centered, and an improvement of citizens quality of living inside the parish. Those issues were addressed in the final model. The obtained conceptual framework was validated by a focus group and it was concluded that the implementation of the proposed framework in a Portuguese parish is aligned with what parishes want for them in the near future.publishersversionpublishe

LogCHEM: interactive discriminative mining of chemical structure

One of the most well known successes of Inductive Logic Programming (ILP) is on Structure-Activity Relationship (SAR) problems. In such problems, ILP has proved several times to be capable of constructing expert comprehensible models that hell) to explain the activity of chemical compounds based on their structure and properties. However, despite its successes on SAR problems, ILP has severe scalability problems that prevent its application oil larger datasets. In this paper we present LogCHEM, an ILP based tool for discriminative interactive mining of chemical fragments. LogCHEM tackles ILP's scalability issues in the context of SAR applications. We show that LogCHEM benefits from the flexibility of ILP both by its ability to quickly extend the original mining model, and by its ability, to interface with external tools. Furthermore, We demonstrate that LogCHEM can be used to mine effectively large chemoinformatics datasets, namely, several datasets from EPA's DSSTox database and on a dataset based on the DTP AIDS anti-viral screen

Evolução da Sustentabilidade nas Regiões Vitícolas do Norte eAlentejo

The wine sector currently lacks nuclear fea-tures, which makes Portugal’s producing per-formance drift away from the frontline world-wide wine producers. The aim of this paper is to evaluate the evolution of the Portuguese wine industry’s performance through the world and national available statistical data. Also, this work tries to evaluate the sustainability dyna-mic regarding theNorth and Alentejo, using the Portuguese Farm Accountancy Data Network from 2001 to 2012. From the sustain-nability indicators, the results show that Alente-jo presents the best performance in terms of environmental sustainability. The North has an increasing economic dimension of sustainabil-ity and good social performance. The conclu-sions suggest that academic research can im-prove the wine industry’s overall orientation to sustainability.O setor vitivinícola carece atualmente de ca-racterísticas nucleares que fazem o desempenho produtivo do país afastar-se dos líderes da pro-dução mundial de vinho. O objetivo deste traba-lho consiste em avaliar a evolução do desempe-nho do setor vitivinícola português através dos dados estatísticos disponíveis, a nível mundial e nacional. Pretende-se ainda avaliar a dinâmica da sua sustentabilidade, no Norte e Alentejo, através dos dados da Rede de Informação de Contabilidade Agrícola de 2001 a 2012. Dos indicadores de sustentabilidade obtidos verifi-ca-se que o Alentejo obtém o melhor desempe-nho em termos de sustentabilidade ambiental. O Norte tem uma tendência para melhorar a di-mensão económica da sustentabilidade e revela bom desempenho social. As conclusões suge-rem que a investigação académica pode melho-rar a orientação geral desta indústria para a sua sustentabilidade.info:eu-repo/semantics/publishedVersio

On the Implementation of the Probabilistic Logic Programming Language ProbLog

The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with probabilities. These facts are treated as mutually independent random variables that indicate whether these facts belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation on top of the YAP-Prolog system, and evaluate their performance in the context of large networks of biological entities.Comment: 28 pages; To appear in Theory and Practice of Logic Programming (TPLP